$\forall$$i$:$\mathbb{Z}$, $j$:\{$i$$\ldots\,$\}. WellFnd\{u\}(\{$i$..$j$$^{-}$\};$x$,$y$.$x$ $>$ $y$)